George Berkeley - PDFSEARCH.IO - Document Search Engine

George Berkeley
Results: 261

#	Item
81	MOOCs and Social Media A discussion about MOOCs, courses and the idea of “open” Fabian Banga Ph.D. Berkeley City College @fabianbanga / www.eter.org Add to Reading List Source URL: eter.org Language: English - Date: 2014-10-19 14:50:38 Stephen Downes George Siemens Knowledge Science E-learning Course Learning Education Massive open online course Online education
82	Microsoft Word - Davenport syl send to Joe.doc Add to Reading List Source URL: learning.berkeley.edu Language: English - Date: 2009-03-09 13:15:17 Political violence Politics Political repression Sociology Human rights Genocide Michael Stohl Democratic peace theory George A. Lopez Ethics Human rights abuses Criminal law
83	Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim George Necula Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:18:02 Computing Data Linearizability Serializability Transactional memory Lock Thread safety Non-blocking algorithm Atomicity Concurrency control Transaction processing Data management
84	Guided GUI Testing of Android Apps with Minimal Restart and Approximate Learning Wontae Choi George Necula Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2014-01-20 12:25:32 Software Algorithm Mobile operating system Monkey test IOS Smartphones Computing Computer architecture
85	NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness Jacob Burnim Tayfun Elmas George Necula Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:32:05 Computing Concurrency control Databases Serializability Parallel computing Schedule Linearizability Correctness Control flow Transaction processing Data management Data
86	Separating Functional and Parallel Correctness using Nondeterministic Sequential Specifications Jacob Burnim, George Necula, and Koushik Sen Department of Computer Science, University of California, Berkeley {jburnim,nec Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:14:09 Models of computation Applied mathematics Concurrent computing Parallel computing Correctness Finite-state machine Linearizability Thread Algorithm Computing Theoretical computer science Computer science
87	Towards Hinted Collection ∗ Annotations for decreasing garbage collector pause times Philip Reames George Necula Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:11:52 Computer programming Automatic memory management Data types Software bugs Primitive types Garbage collection Unreachable memory Reference counting Memory leak Computing Software engineering Memory management
88	George Necula Electrical Engineering and Computer Science University of California, Berkeley 783 Soda Hall Berkeley, CA 94720 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2014-01-20 12:46:10 Association for Computing Machinery George Necula Proof-carrying code SIGPLAN Principles of Programming Languages Programming Language Design and Implementation Symposium on Principles and Practice of Parallel Programming ACM SIGACT ECL programming language Computing Computer science Programming language theory
89	Dependent Types for Low-Level Programming Jeremy Condit1 , Matthew Harren1 , Zachary Anderson1 , David Gay2 , and George C. Necula1 1 University of California, Berkeley Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2007-02-02 07:49:52 Data types Type theory Procedural programming languages C++ Program analysis Type system Pointer C++ classes ALGOL 68 Programming language theory Software engineering Computing
90	Published in the Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Vancouver 2000, pages 83–95 Translation Validation for an Optimizing Compiler George C. Necula University o Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:25 Compiler construction Compiler optimizations Program analysis Procedural programming languages Compiler Static single assignment form GNU Compiler Collection Algorithm Register allocation Software Computing Programming language implementation

UPDATE